precompact set - German English Dictionary